<HTML><HEAD><TITLE>profile(+Goal)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Development Environment and Global Settings</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>profile(+Goal)</H1>
Profile the goal and print the times spent in each predicate.


<DL>
<DT><EM>Goal</EM></DT>
<DD>Atom or a compound term.
</DD>
</DL>
<H2>Description</H2>
<P>   This predicate invokes the profiler with default options.  Equivalent to:
   <PRE>
       profile(Goal, []).
   </PRE>
   See profile/2 for details.
</P>

<H3>Modes and Determinism</H3><UL>
<LI>profile(+) is det
</UL>
<H3>Exceptions</H3>
<DL>
<DT><EM>(6) out of range </EM>
<DD>Flags contains an illegal flag.
</DL>
<H2>Examples</H2>
<PRE>
[eclipse 6]: profile(boyer).
rewriting...
proving...
goal succeeded

                PROFILING STATISTICS
                --------------------

Goal:             boyer
Total user time:  10.65s

Predicate             Module         %Time  Time
-------------------------------------------------
rewrite           /2  eclipse        52.3%  5.57s
garbage_collect   /0  sepia_kernel   23.1%  2.46s
rewrite_args      /2  eclipse        16.6%  1.77s
equal             /2  eclipse         4.7%  0.50s
...
plus              /3  eclipse         0.1%  0.01s



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/env/get_flag-2.html">get_flag / 2</A>, <A HREF="../../kernel/env/profile-2.html">profile / 2</A>
</BODY></HTML>
